Mon $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$g$:GrpSig$\mid$ IsMonoid($\mid$$g$$\mid$;$\ast$;e) \& IsEqFun($\mid$$g$$\mid$;=$_{b}$)\}